Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 31 of 31 (0.189 secs)
You searched for: subject:"Axioms"
[texts]Psychologie der axiome [microform] (Volume Schultz, Johannes.) - Schultz, Johannes
Microfilm
Keywords: Axioms; Psychology
Downloads: 50
[texts]Festschrift zur feier der enthüllung des Gauss-Weber-denkmals in Göttingen - Hilbert, David, 1862-1943
Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb.
Keywords: Axioms; Electrodynamics; Geometry
Downloads: 145
[texts]The dependence of Euklid's propositions upon his axioms and postulates - Connelly, Emma Brown
Thesis (B.A.)--University of Illinois, 1907
Keywords: Euclid; Geometry; Axioms; Theses
Downloads: 29
[texts]Die Axiome der Geometry; eine philosophische Untersuchung der Riemann-Helmholtz'schen Raumtheorie - Erdmann, Benno, 1851-1921
14
Keywords: Axioms; Generalized spaces; Mathematics
Downloads: 441
[texts]Festschrift zur feier der enthüllung des Gauss-Weber-denkmals in Göttingen - Hilbert, David, 1862-1943
Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb.
Keywords: Axioms; Electrodynamics; Geometry
Downloads: 328
[texts]On the twelfth axiom of the first book of Euclid - Stanhope, Philip Henry Stanhope, Earl, 1805-1875

Keywords: Axioms; Trisection of angle
Downloads: 266
[texts]Optics - Sir Isaac Newton
Sir Isaac Newton Optics Dover Publications Inc. 1952 Acrobat 7 Pdf 16.8 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Physics; Opticks; Definitions; Axioms; Propositions; Theorems; Problems
Downloads: 1,403
[texts]Rock or sand? - Maxwell, Jerome L.
Paper outlining the author's views on the foundations of mathematics and the differences between mathematics and the sciences. This paper was prepared as part of Maxwell's initiation into Phi Mu, an engineering honor society.
Keywords: Mathematics -- Philosophy; Axioms; Mathematical analysis -- Foundations
Downloads: 78
[texts]Introduction to Modern Mathematics - Herbert Meschkowski
Herbert Meschkowski Introduction to Modern Mathematics George G. Harrap & Co. Ltd. 1968 Acrobat 7 Pdf 25.5 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Axioms; Sets; Rational Numbers; Groups; Rings; Fields; Lattices; Spaces
Downloads: 518
[texts]Image Information Mining Utilizing Hierarchical Segmentation - Tilton, James C.
The Hierarchical Segmentation (HSEG) algorithm is an approach for producing high quality, hierarchically related image segmentations. The VisiMine image information mining system utilizes clustering and segmentation algorithms for reducing visual information in multispectral images to a manageable size. The project discussed herein seeks to enhance the VisiMine system through incorporating hierarchical segmentations from HSEG into the VisiMine system.
Keywords: MATHEMATICAL LOGIC; OPTIMIZATION; MATHEMATICAL MODELS; GRAPH THEORY; INFERENCE; AXIOMS
Downloads: 85
[movies]Unizor: Math 4 Teens - Geometry2D - Elements - Points - Zor Shekhtman
A geometrical point is an abstraction, as most other objects of mathematics, like numbers, functions etc. At the same time it has some similarity with the real world, and that similarity is the justification for mathematicians to create a corresponding geometrical object called "a point". It is appropriate to present a definition of a point given by Greek mathematician Euclid of Alexandria, who lived around 300BC: "A point is that which has no parts or magnitude."
Keywords: Unizor; Math; Math4Teens; Geometry; Planimetry; Elements; Points; Axioms; Theorems; Euclid
Downloads: 31
[texts]A helium-3/helium-4 dilution cryocooler for operation in zero gravity - Hendricks, John B
This research effort covered the development of He-3/He-4 dilution cryocooler cycles for use in zero gravity. The dilution cryocooler is currently the method of choice for producing temperatures below 0.3 Kelvin in the laboratory. However, the current dilution cryocooler depends on gravity for their operation, so some modification is required for zero gravity operation. In this effort, we have demonstrated, by analysis, that the zero gravity dilution cryocooler is feasible...
Keywords: DAMPING; DISTRIBUTION FUNCTIONS; MATHEMATICAL MODELS; PLASMA DENSITY; PLASMA WAVES; PLASMAS (PHYSICS); AXIOMS; RADIATION DISTRIBUTION
Downloads: 149
[texts]The Apothegms of Enlightenment - Marcus the Apollonian
These are the Apothegms of Enlightenment--the "clear sayings" without ambiguity or uncertainty that lead to intellectual liberation and a life fulfilled. Yet nothing here is new. Great men and women of philosophy, science, and wisdom have proclaimed these truths to every generation down through the centuries. Once more they are given to you, freely, openly, and truthfully, and with the hope that such wisdom will be heard by all.
Keywords: science; philosophy; wisdom; enlightenment; platonism; plato; pythagoras; neoplatonism; hermeticism; hermetic; religion; apothegms; axioms; sayings
Downloads: 771
[texts]Deterministic multi-zone ice accretion modeling - Yamaguchi, K.
The focus here is on a deterministic model of the surface roughness transition behavior of glaze ice. The initial smooth/rough transition location, bead formation, and the propagation of the transition location are analyzed. Based on the hypothesis that the smooth/rough transition location coincides with the laminar/turbulent boundary layer transition location, a multizone model is implemented in the LEWICE code...
Keywords: CHARGE TRANSFER; LOSSES; HOLES (ELECTRON DEFICIENCIES); ION DENSITY (CONCENTRATION); ION RECOMBINATION; LINEAR ENERGY TRANSFER (LET); SILICON; AXIOMS; DIFFUSION; KRYPTON
Downloads: 73
[texts]Groups and Group Actions - Richard Earl
In this �rst course in abstract algebra we concentrate on groups. Two other important algebraic structures are rings and �elds � you will likely have met the �eld axioms in LinearAlgebra I and Analysis I.
Keywords: Maths; Algebra; Groups; Geometry and Groups; Groups; Group Actions; Permutations; Group Actions; Axioms for Groups; Orbit-Stabilizer Theorem; Conjugacy Classes; Group Action; Mathematics
Downloads: 20
[texts]A study of the formation and dynamics of the Earth's plasma sheet using ion composition data - Lennartsson, O. W
Over two years of data from the Lockheed Plasma Composition Experiment on the ISEE 1 spacecraft, covering ion energies between 100 eV/e and about 16 keV/e, have been analyzed in an attempt to extract new information about three geophysical issues: (1) solar wind penetration of the Earth's magnetic tail; (2) relationship between plasma sheet and tail lobe ion composition; and (3) possible effects of heavy terrestrial ions on plasma sheet stability.
Keywords: CREEP PROPERTIES; CALIBRATING; COMPUTER PROGRAMS; HIGH TEMPERATURE; INFERENCE; DISTRIBUTION FUNCTIONS; INCONEL (TRADEMARK); MECHANICAL PROPERTIES; STANDARD DEVIATION; STATISTICAL ANALYSIS; TEMPERATURE EFFECTS; THERMAL FATIGUE; AXIOMS
Downloads: 59
[texts]Elementary Abstract Algebra - Edwin Clark
This book is intended for a one semester introduction to absract algebra. Instead of spending a lot of time going over background material, we go directly into the primary subject matter. We discuss proof methods and necessary background as the need arises.
Keywords: Maths; Algebra; Groups; Groups; Lagrange and Fermat-Euler�s Theorems; Isomorphism Theorems; Axioms for Groups; Cosets; Lagrange�s Theorem; Quaternions; Mathematics
Downloads: 110
[texts]dec :: tech reports :: SRC-RR-96
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-96
Keywords: memory; synchronization; correctness; executions; mutual; algorithm; operation; proof; commands; axioms; mutual exclusion; operation executions; synchronization commands; multiprocess program; memory cell; memory architecture; sequential consistency; programming languages; precedence relations; operation execution
Downloads: 1
[texts]mit :: ai :: aim :: AIM-642
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-642
Keywords: die; tlie; omega; description; axioms; attribution; descriptions; attributions; attribute; tliat; special constants; reasoning process; knowledge representation; inference rules; predicate logic; telephone number; monotonicity strictness; tlie completeness; description abstraction; omission monotonicity
Downloads: 20
[texts]mit :: ai :: aim :: AIM-486
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-486
Keywords: tableau; theory; fixed; logic; axioms; theorem; labeled; formulas; proof; tms; inference rules; truth maintenance; fixed point; tableau structure; fixed points; artificial intelligence; monotonic inference; consistent theory; proof procedure; predicate calculus
Downloads: 38
[texts]dec :: tech reports :: SRC-RR-60
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-60
Keywords: proof; trait; lsl; larch; traits; specification; lslc; prove; specifications; axioms; proof obligations; deduction rule; rewrite rules; larch shared; deduction rules; completion procedure; shared language; proof obligation; converts clause; qed prove
Downloads: 1
[texts]mit :: ai :: aim :: AIM-710
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-710
Keywords: set; symmetry; subset; die; axioms; equals; isomorphism; symmetric; essential; notion; set theory; symmetric sets; essential function; symmetric set; symmetry group; die set; structural isomorphism; point permutation; foundation axiom; finite set
Downloads: 21
[texts]xerox :: parc :: techReports :: CSL-79-8 Code Generation and Machine Descriptions
From the bitsavers.org collection, a scanned-in computer-related document.xerox :: parc :: techReports :: CSL-79-8 Code Generation and Machine Descriptions
Keywords: code; instruction; machine; generator; axioms; automatic; compiler; generation; derivation; operand; automatic generation; instruction set; code generation; machine descriptions; code generator; machine description; access mode; automatic derivation; code generators; access modes
Downloads: 16
[texts]mit :: lcs :: tr :: MIT-LCS-TR-325
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-325
Keywords: term; evaluator; lemma; reduction; type; combinatory; axioms; theorem; notion; reducible; type errors; lambda calculus; type error; natural numbers; proof system; unary function; bound variables; axiom schemes; combinatory model; cross diamond
Downloads: 23
[texts]dec :: tech reports :: SRC-RR-65
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-65
Keywords: satisfies; holds; temporal; logic; proposition; actions; action; proof; computation; axioms; temporal logic; proof system; proposition symbol; proposition symbols; boolean combination; action symbols; temporal reasoning; complete proof; propositional temporal; computation satisfies
Downloads: 3
[texts]mit :: lcs :: tr :: MIT-LCS-TR-237
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-237
Keywords: data; type; specification; operations; equivalence; nondeterministic; operation; behavior; axioms; exception; observable equivalence; type algebras; data type; ground terms; data types; exceptional behavior; nondeterministic operation; ground term; equivalence relation; type algebra
Downloads: 23
[texts]mit :: ai :: aim :: AIM-868
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-868
Keywords: circumscription; predicate; axiom; minimal; reasoning; predicates; axioms; set; default; extensions; smallest set; minimal set; predicate circumscription; default reasoning; circumscription axiom; predicate completion; derivational closure; minimal extensions; resource limited; minimal extension
Downloads: 15
[texts]mit :: ai :: aim :: AIM-486a
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-486a
Keywords: tableau; theory; fixed; logic; axioms; theorem; labeled; formulas; proof; tms; inference rules; truth maintenance; fixed point; artificial intelligence; fixed points; tableau structure; normic statements; consistent theory; proof procedure; predicate calculus
Downloads: 25
[texts]mit :: ai :: aim :: AIM-429
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-429
Keywords: programs; logic; program; proof; axioms; correctness; modal; dynamic; execution; programming; zeroary function; total correctness; dynamic logic; checking proofs; partial correctness; artificial intelligence; nondeterministic programs; massachusetts institute; modal logic; proof step
Downloads: 38
[texts]mit :: lcs :: tr :: MIT-LCS-TR-154
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-154
Keywords: specifications; ordering; events; properties; behavior; semaphore; data; actor; program; synchronization; actor system; programming language; data base; solution specifications; mutual exclusion; parallel processes; causal axioms; high level; time ordering; writer priority
Downloads: 26
[texts]On the Emergence of Life and Human Consciousness - I. C. Baianu, Ronald Brown and James F. Glazebrook
A Monograph Published in: Acta Universitatis Apulensis,ISSN 1582-5329, 2011: 10 (6)-175-298'Special Issue on Understanding Complex Systems,Eds. Barna Iantovics, Ladislav Hluch¶y and Roumen Kountchev. Abstract. In this monograph we present a novel approach to the problems raised by higher complexity in both nature and the human society, by considering the most complex levels of objective existence as ontological meta-levels, such as those present in the creative human minds and civilised, mode...
Keywords: Categorical Ontology and the Theory of Levels (COTL); meta-levels; Non- Abelian Categorical Ontology; analysis and synthesis; Theoretical Biology; General Systems Theory and Complex Systems Biology; closed and open systems; boundaries and horizons; complex; super-complex and ultra-complex system dynamics; nonlinear dynamics; autopoiesis and generalised metabolic-replication systems; (M; R)-systems (MRs) and organisms; Theory of Categories; Functors and Natural Transformations (CT); Yoneda-Grothendieck Lemma; category of categories; super-category; or 2-category; n-category; ETAC and ETAS axioms; Non-Abelian Algebraic Topology (NAAT); Double Groupoids; category of double groupoids and double category; Higher Homotopy-Generalised van Kampen theorems (HHGvKTs); Higher Dimensional Algebra (HDA) of Networks; Higher Dimensional Algebra of Brain Functions; non-commutative topological invariants of complex dynamic state spaces; Quantum Algebraic Topology (QAT) and Axiomatic Quantum Theory (AQT); Quantum Double
Downloads: 476
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

texts
movies